1
进阶拓展:从二阶到n阶线性方程
MATH009Lesson 4
00:00
从二阶到n阶线性微分方程的扩展,标志着建模复杂性的根本转变。虽然二阶方程通常描述一个振荡物体的运动,但n阶方程则可用于刻画多自由度系统,如相互连接的机械部件或复杂的电气网络。这一过渡将线性微分算子 $L$ 一般化,表明无论我们处理的是两个导数还是二十个导数,解空间的结构——由叠加原理决定——始终保持优美的一致性。

高阶常微分方程的结构

n阶线性微分方程的特点在于其最高阶导数。我们定义其一般形式为方程(1):

$$P_0(t) \frac{d^n y}{dt^n} + P_1(t) \frac{d^{n-1} y}{dt^{n-1}} + \dots + P_{n-1}(t) \frac{dy}{dt} + P_n(t)y = G(t)$$ (1)

为便于理论分析,我们通常通过除以 $P_0(t)$ 来标准化该方程(假设其在关注区间内非零)。这得到 标准形式 (方程2):

$$L[y] = \frac{d^n y}{dt^n} + p_1(t) \frac{d^{n-1} y}{dt^{n-1}} + \dots + p_{n-1}(t) \frac{dy}{dt} + p_n(t)y = g(t)$$ (2)

算子表示与常系数

n个导数的复杂性被整合为一个单一的线性算子 $L$。当系数为常数($a_n$)时,表达式简化为:

$L[y] = a_0y^{(n)} + a_1y^{(n-1)} + \dots + a_{n-1}y' + a_ny = g(t)$

这种记法强调了算子 $L$ 的线性性质:$L[c_1y_1 + c_2y_2] = c_1L[y_1] + c_2L[y_2]$。这一原则确保通解由 齐次解 ($y_c$)和一个 特解 ($Y$)。

物理直觉:耦合质量系统

考虑 图 4.2.4:一个由两个弹簧、两个质量组成的系统,质量分别为 $m_1, m_2$,位移为 $u_1, u_2$。物理定律给出两个耦合的二阶方程。通过代入消元法分离出 $u_1$,我们可推导出一个单一的 四阶 方程。要解这个方程,我们需要 4个初始条件 (每个质量的位置和速度),才能确定唯一的物理轨迹。

例题:齐次解

求微分方程 $y''' - y'' - y' + y = 0$ 的通解。

步骤1:特征方程

假设 $y = e^{rt}$。代入原方程得:$r^3 - r^2 - r + 1 = 0$。

步骤2:因式分解

分组因式分解:$r^2(r - 1) - 1(r - 1) = 0 \implies (r^2 - 1)(r - 1) = 0$。
展开后为 $(r - 1)(r + 1)(r - 1) = (r - 1)^2(r + 1) = 0$。

步骤3:解的构造

根为 $r = 1$(重数为2)和 $r = -1$。由于 $r=1$ 是重根,需将第二项乘以 $t$。

$y_c(t) = c_1e^t + c_2te^t + c_3e^{-t}$

🎯 核心原理:解空间的扩展
n阶线性常微分方程需要恰好 $n$ 个线性无关的解来张成其解空间。Wronskian行列式 $W(y_1, \dots, y_n)$ 必须非零,才能保证这种独立性。